Course Listings

2023 Fall > UGRD > cs > cs 420

An Introduction to the Theory of Computation

Course #: cs 420

Description:
This course introduces such theoretical aspects of computing as models of computation, inherent limits on computation, and feasible computation. Topics include definition of computable functions (recursive functions, functions computable by Turing machines, functions computable in a programming language), unsolvability of the halting problem and related problems, the classes P and NP, finite automata, and context-free grammars.
Pre Requisites:
Pre-requisite: CS 220 (grade of C- or better)

Section Class Number Schedule/Time Instructor Location
01 1467 TuTh
4:00 - 5:15 pm
Tran,Duc McCormack M02-0404
Session: Regular
Class Dates: 09/05/2023 - 12/13/2023
Capacity: 50
Enrolled: 49
Status: Open
Credits: 3/3
Class Notes:
Pre Requisites: Pre-requisite: CS 220 (grade of C- or better)
Course Attributes:
02 4032 TuTh
11:00 - 12:15 pm
Tran,Duc Wheatley W01-0005
Session: Regular
Class Dates: 09/05/2023 - 12/13/2023
Capacity: 45
Enrolled: 50
Status: Closed
Credits: 3/3
Class Notes:
Pre Requisites: Pre-requisite: CS 220 (grade of C- or better)
Course Attributes: